منابع مشابه
Verifiable agent dialogues
In this paper, we introduce the Multi-Agent Protocol (MAP) language which expresses dialogues in Multi-Agent Systems. MAP defines precisely the pattern of message exchange that occurs between the agents, though it is independent of the actual rational processes and message-content. This approach makes MAP applicable to a wide range of different agent architectures, e.g. reactive, proactive, and...
متن کاملVerifiable Multi-agent Programs
AgentSpeak is a rea tive planning language for programming autonomous agents. It has re ently been shown that model he king te hniques an be applied to the veri ation of AgentSpeak systems, through a translation to promela, the model spe i ation language for the SPIN LTL modelhe king system. In this paper, we introdu e an alternative veri ation approa h for AgentSpeak, by translating AgentSpeak...
متن کاملAgent dialogues and argumentation
Agents have different interests and desires. Agents also hold different beliefs and assumptions. To accomplish tasks jointly, agents need to better convey information between each other and facilitate fair negotiations. In this thesis, we investigate agent dialogue systems developed with the Assumption-Based Argumentation (ABA) framework. In our system, agents represent their beliefs and desire...
متن کاملModel Checking Agent Dialogues
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking techniques to protocols which express interactions between a group of agents in the form of a dialogue. We define a lightweight protocol language which can express a wide range of dialogue types, and we use the SPIN mo...
متن کاملProgramming Verifiable Heterogeneous Agent Systems
Our overall aim is to provide a verification framework for practical multi-agent systems. To achieve practicality, we must be able to describe and implement heterogeneous multi-agent systems. To achieve verifiability, we must define semantics appropriately for use in formal verification. Thus, in this paper, we tackle the problem of implementing heterogeneous multi-agent systems in a semantical...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2007
ISSN: 1570-8683
DOI: 10.1016/j.jal.2005.12.009